Extended real number line